How Emily Tamed the Caml
نویسندگان
چکیده
security, programming, performance How does one make a program breach resistant? One promising approach is to apply the Principle of Least Authority at object granularity. The E language has previously demonstrated that object-capability languages turn many of the security requirements for software into emergent properties of traditional object-oriented design and modularity enforcement. Emily is a subset of OCaml that uses a design rule verifier to enforce object-capability principles. It demonstrates how memory-safe languages can be transformed into breach-resistant object-capability systems with little loss of either expressivity or performance.
منابع مشابه
CAML Does Not Modulate Tetherin-Mediated Restriction of HIV-1 Particle Release
BACKGROUND Tetherin/BST-2 is a recently-identified potent restriction factor in human cells that restricts HIV particle release following particle formation and budding at the plasma membrane. Vpu counteracts tetherin's restriction of particle release in a manner that has not yet been fully defined. We recently identified calcium-modulating cyclophilin ligand (CAML) as a Vpu-interacting protein...
متن کاملFlow Caml in a Nutshell
Flow Caml is an extension of the Objective Caml language with a type system tracing information flow. It automatically checks information flow within Flow Caml programs, then translates them to regular Objective Caml code that can be compiled by the ordinary compiler to produce secure programs. In this paper, we give a short overview of this system, from a practical viewpoint.
متن کاملThe Effect of the Translator's Gender Ideology on Translating Emily Bronte’s Wuthering Heights
The present study examines the effect of gender ideology of the translators on two Persian translations of Emily Bronte’s Wuthering Heights. The findings reveal that although both translations have many similar features in respect to some maxims of translation, in both of them gender ideology of the translator is a key figure in translating the gender related items/parts of the source text, as ...
متن کاملMolecular machinery for insertion of tail-anchored membrane proteins into the endoplasmic reticulum membrane in mammalian cells.
Tail-anchored (TA) membrane proteins destined for the secretory pathway are posttranslationally inserted into the endoplasmic reticulum (ER) membrane, but the molecular machinery for this insertion in mammalian cells remains elusive. Here we reveal a mammalian protein complex that drives the membrane insertion. We identify calcium-modulating cyclophilin ligand (CAML) as a mammal-specific recept...
متن کاملEssential role for CAML in follicular B cell survival and homeostasis.
Calcium-modulating cyclophilin ligand (CAML) is a ubiquitously expressed protein that is important during thymopoiesis. However, whether it serves a function in mature lymphocytes is unknown. In this article, we show that CAML is essential for survival of peripheral follicular (Fo) B cells. Conditional deletion of CAML in CD19-Cre transgenic mice caused a significant reduction in Fo cell number...
متن کامل